Minimisation of ATL ^* Models
نویسندگان
چکیده
The aim of this work is to provide a general method to minimize the size (number of states) of a model M of an ATL∗ formula. Our approach is founded on the notion of alternating bisimulation: given a model M, it is transformed in a stepwise manner into a new model M’ minimal with respect to bisimulation. The method has been implemented and will be integrated to the prover TATL, that constructively decides satifiability of an ATL∗ formula by building a tableau from which, when open, models of the input formula can be extracted.
منابع مشابه
Contralateral Pedicled Anterolateral Thigh Flap (ATL) for Upper Thigh Defect in the Era of Free ATL?
متن کامل
The ATL Transformation-based Model Management Framework
Developers of information systems must typically deal with different models and perform transformations between models. Model management aims at providing techniques and tools for dealing with models and model transformations in automated ways. In this paper, we present the current design of the ATL (Atlas Transformation Language) transformation-based model management framework. The key design ...
متن کاملInteraction of perforin and granzyme B and HTLV-1 viral factors is associated with ATL development
Objective(s): Human T cell leukaemia virus type 1 (HTLV-1) is associated with adult T cell leukaemia (ATL), a malignant lymphoproliferative disease that infects CD4 T cells. It is not clear why the majority of HTLV-1-infected individuals remain asymptomatic carries (ACs) and a minority develop ATL. Cellular immune response has a critical role in ATL and destroys malign...
متن کاملUsing ATL Transformation Services in the MDEForge Collaborative Modeling Platform
This is an accompanying paper of the tool demo paper “Using ATL transformation services in the MDEForge collaborative modeling platform” presented at ICMT 2016, Vienna (Austria). The demo was about the integration of ATL services in the MDEForge modeling platform enabling the remote execution, automated testing, and static analysis of ATL transformations. 1 Demonstration walk through The actual...
متن کاملHuman T Lymphotropic Virus Type I (HTLV-I) Oncogenesis: Molecular Aspects of Virus and Host Interactions in Pathogenesis of Adult T cell Leukemia/Lymphoma (ATL)
The study of tumor viruses paves the way for understanding the mechanisms of virus pathogenesis, including those involved in establishing infection and dissemination in the host tumor affecting immune-compromised patients. The processes ranging from viral infection to progressing malignancy are slow and usually insufficient for establishment of transformed cells that develop cancer in only ...
متن کامل